Valid inequalities and cutting planes for some polytopes
نویسندگان
چکیده
منابع مشابه
Cutting planes cannot approximate some integer programs
For every positive integer l, we consider a zero-one linear program describing the following optimization problem: maximize the number of nodes in a clique of an n-vertex graph whose chromatic number does not exceed l. Although l is a trivial solution for this problem, we show that any cutting-plane proof certifying that no such graph can have a clique on more than r l vertices must generate an...
متن کاملSome Valid Inequalities for the Probabilistic Minimum Power Multicasting Problem
In this paper we describe some results on the linear integer programming formulation of the Probabilistic Minimum Power Multicast (PMPM) problem for wireless networks. The PMPM problem consists in optimally assigning transmission powers to the nodes of a given network in order to establish a multihop connection between a source node and a set of destination nodes. The nodes are subject to failu...
متن کاملLifting inequalities for polytopes
We present a method of lifting linear inequalities for the flag f -vector of polytopes to higher dimensions. Known inequalities that can be lifted using this technique are the non-negativity of the toric g-vector and that the simplex minimizes the cd-index. We obtain new inequalities for 6-dimensional polytopes. In the last section we present the currently best known inequalities for dimensions...
متن کاملCutting planes and beyond
1 Abstract We present extensions to the traditional cutting plane that become practical with the availability of virtual reality devices. These extensions take advantage of the intuitive ease of use associated with the cutting metaphor. Using their hands as the cutting tool, users interact directly with the data to generate arbitrarily oriented planar surfaces, linear surfaces, and curved surfa...
متن کاملLower Bounds for Cutting Planes
Cutting Planes (CP) is a refutation propositional proof system whose lines are linear inequalities in Boolean variables. Exponential lower bounds for CP refutations of a clique/coclique dichotomy have been proved by Bonet, Pitassi and Raz, and by Kraj́ıček, using similar methods. Their proofs only apply when all the coefficients in the proof are small. Pudlák proved a lower bound for the same st...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Inequalities & Applications
سال: 1998
ISSN: 1331-4343
DOI: 10.7153/mia-01-28